.pass {
  color: green;
}

.fail {
  color: red;
}

.testCase {
  font-size: 12pt;
}

.testHeader {
  font-weight: bold;
}

.testDesc {
}

.testParams > ul {
  margin-top: 0px;
}

.testPanel {
  width: 700px;
  
  border: dotted 1px black;
  padding: 5px;
  margin-top: 5px;
  margin-bottom: 15px;
  
  font-family: "Courier New", monospace;
  font-size: 10pt;
}

.codeClass {
  font-style: italic;
  font-family: courier new, monospace;
  font-size: 10pt;
}

.positiveResult > b {
  color: green;
}

.negativeResult > b {
  color: red;
}

.resultDetails {
  margin-top: 0px;
  margin-bottom: 0px;
}